部分對象 (subobject)
部分対象 - Wikipedia
subobject in nLab
Subobject - Encyclopedia of Mathematics
圈論的雙對は商對象 (quotient object)
quotient object in nLab
Quotient object - Encyclopedia of Mathematics
subquotient
Subquotient - Wikipedia
subquotient in nLab
Subquotient - Groupprops
部分對象 (subobject)の商對象 (quotient object)
部分對象分類子 (subobject classifier)$ \Omega
Subobject classifier - Wikipedia
subobject classifier in nLab
終對象$ 1とmono 射$ j:U\hookrightarrow Xが在る時に、可換圖式$ U\xrightarrow{j}X\xrightarrow{\exist!\chi_j}\Omega\xleftarrow{}1\xleftarrow{}Uが引き戾しであるならば$ \Omegaは部分對象分類子である
射$ \chi_jを classifying morphism と呼ぶ
集合の圈に於いては$ \{0,1\}
商對象餘分類子 (quotient object coclassifier)
quotient object coclassifier in nLab